package artiko.ai.posizionamento.rafforzamentoIniziale;

import jpl.Atom;
import jpl.Query;
import jpl.Term;

public class Prova2 {
public static void main(String[] args){
	
	Query q1 = 
		    new Query( 
		        "consult", 
		        new Term[] {new Atom("artiko_resources\\Base_RafforzamentoIniziale\\base.pl")} 
		    );
	
	System.out.println( "consult " + (q1.query() ? "succeeded" : "failed"));
	q1.close();
	
	Query q2 = 
		    new Query( 
		        "confinante", 
		        new Term[] {new Atom("n5"),new Atom("n2")} 
		    );
	System.out.println("----------------------------");
		System.out.println( 
		    "confinante ?  " + 
		    q2.query()); 
		
		
		Query q3 = 
			    new Query( 
			        "amico", 
			        new Term[] {new Atom("n5")} 
			    );
		System.out.println("----------------------------");
			System.out.println( 
			    "amico 5 ?  " + 
			    q3.query()); 
	
	
	
}
}
